Specifying Reusable Components
نویسندگان
چکیده
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these requirements call for expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a methodology to equip classes with expressive contracts supporting the accurate design, implementation, and formal verification of reusable components. Model-based contracts conservatively extend the classic Design by Contract by means of expressive models based on mathematical notions, which underpin the precise definitions of notions such as abstract equivalence and specification completeness. Preliminary experiments applying model-based contracts to libraries of data structures demonstrate the versatility of the methodology and suggest that it can introduce rigorous notions, but still intuitive and natural to use in practice.
منابع مشابه
Specifying Reusable Controllers for Software Components
The design of components for open and distributed systems is challenging the software community with its specific problems. One of the current approaches is based on a reflectivemodel that uses standard, independent, composiblemeta-components (controllers) to coordinate components and modify their behavior according to the user requirements. However, this approach still has some pending issues,...
متن کاملResearch Issues in Characterizing the Performance of Reusable Software Components
The software reuse practices of many organizations could be described as “ad hoc,” at best. Some reuse efforts do not consider even basic concepts such as completely specifying or correctly verifying reusable code. Those organizations that do attempt to specify formally their reusable assets often do so at the expense of neglecting issues concerned with performance. The area of Software Perform...
متن کاملRecommendations for the Papers
When you start developing reusable components then you quickly will notice that specifying such components is different from specifying software for a given purpose for some dedicated customer. Stakeholders are no longer clearly identifiable. The context where a component will be used is still open at the time of specification. On the other hand, a component typically has a context of other com...
متن کاملSpecifying Reusable Components Using Contracts
Contracts were introduced by Helm et al. as a high level construct for explicitly specifying interactions among groups of objects. This paper describes further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract ree...
متن کاملAn Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by the framework. To do this effectively, the framework-component interfaces must be specified so the software engineer knows what assumptions the framework makes about the components, and so the components can be verified ...
متن کاملSpecifying Reusable Aspects
Aspect oriented (AO) programming enables designers and developers to manage, in a more modular fashion, implementations of crosscutting concerns (CCCs) that might be scattered or tangled if AO techniques were not utilized. Our interest in this paper is on considering techniques for specifying precise properties of aspects. In particular, we are interested in specifying reusable aspects; i.e., a...
متن کامل